$\forall$$r$:rationals. ($\neg$($\uparrow$qeq($r$; 0))) $\Rightarrow$ (qinv($r$) $\in$ rationals)